Consistent Object-Oriented Modeling of System Dynamics with State-Based Collaboration Diagrams
نویسندگان
چکیده
This paper introduces the new state-based collaboration diagrams. This new diagram type will solve two problems: First it will lead to a consistent description of the reactive behavior of a system – second it will allow the simultaneous modeling of reactive and transformational system behavior. This new diagram type is an advantageous combination of two wellknown UML diagrams, namely of the interaction and of state diagrams. Whereas in UML interactions are covered by sequence as well as by collaboration diagrams, the reactive behavior is described by state charts. Interactions between objects, however, have transformational or reactive parts, respectively, depending on the fact, whether the response to an input of an object is state-dependent or not. Thus for describing reactive behavior state charts as well as interaction diagrams are necessary. By combining collaboration diagrams – sequence and collaboration diagrams are roughly spoken two equivalent forms of interaction diagrams – and state charts, the reactive behavior will be covered just by one and not by two different diagram types, namely by the state-based collaboration diagrams. Using just one view will help to avoid inconsistencies. Furthermore the reactive and transformational system aspects are modeled in the same diagram, too, which may significantly help in modeling a new system. The presented new diagram type can be successfully used in system analysis as well as in system design.
منابع مشابه
Consistent object-based software construction for embedded applications
In this article a new method for a consistent object-based software construction will be suggested, that allows a straightforward modeling of embedded applications. To this aim new diagram types, the so-called state-based collaboration diagrams, collaboration diagrams in layer models and client-server object diagrams will be introduced. The client-server object diagram is completely UML-conform...
متن کاملDynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s st...
متن کاملOperation of Multiple Reservoirs by utilization of Simulation Method for Analysis of System Dynamics
In this paper the operation of multiple reservoirs by the utilization of analysis method of the system dynamics is considering and this analysis method is based on the feedback and object oriented events. The goal of this research is presentation of a new method by utilization of system dynamicity technique for simulation of the reservoir. This software is a product of Ventana Company and the e...
متن کاملVIP: A Visual Interface for Promela
The Visual Interface to Promela (VIP) tool is a Java based graphical front end to the Promela specification language and the SPIN model checker [2]. VIP supports a visual formalism called v-Promela [3] which extends the Promela language with a graphical notation to describe structural and behavioral aspects of a system. v-Promela also introduces hierarchical modeling and object-oriented concept...
متن کاملFrom UML Towards Petri Nets to Specify and Verify
UML nowadays, has emerged as the industry standard for object-oriented modeling. However, it still lacks a well-defined semantic base enabling it to perform formal verification and validation tasks. Our goal being to provide system designers a life cycle of software development integrating conviviality and rigor, we propose a methodology to specify, verify and validate using UML. This methodolo...
متن کامل